Propositional calculus - PDFSEARCH.IO - Document Search Engine

Propositional calculus
Results: 1046

#	Item
791	AG16 SOME NEWS ON SUBATOMIC LOGIC Alessio Guglielmi (TU Dresden and University of Bath[removed]After our experience with the calculus of structures (CoS) [WS], we Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:37:51 Non-classical logic Boolean algebra Substructural logic Logical connectives Negation Linear logic Rule of inference Modal logic Noncommutative logic Logic Mathematical logic Propositional calculus
792	April 29, 2010 — Final version for proceedings of LICS’10 1 Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2010-04-29 08:06:06 Mathematical logic Formal languages Propositional calculus Golden ratio Well-formed formula Entailment Linear temporal logic Principia Mathematica Logic Logical syntax Metalogic
793	A Tutorial on Proof Theoretic Foundations of Logic Programming Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:38:39 Proof theory Propositional calculus Non-classical logic Deduction Automated theorem proving Sequent calculus Natural deduction Admissible rule Intuitionistic logic Logic Mathematical logic Mathematics
794	THE PROBLEM OF BUREAUCRACY AND IDENTITY OF PROOFS FROM THE PERSPECTIVE OF DEEP INFERENCE Alessio Guglielmi (TU Dresden and University of Bath[removed]Abstract Deep inference offers possibilities for getting rid of muc Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:37:47 Propositional calculus Boolean algebra Logic in computer science Lambda calculus Proof theory Combinatory logic Modal logic Negation Logic Mathematical logic Mathematics
795	THE COMMUTATIVE/NONCOMMUTATIVE LINEAR LOGIC BV ALESSIO GUGLIELMI A BSTRACT . This brief survey contains an informal presentation of the commutative/noncommutative linear logic BV in terms of a naif space-temporal model. Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2014-05-08 11:14:10 Mathematics Calculus of structures Deep inference Linear logic Cut-elimination theorem Proof calculus Analytic proof Sequent calculus Propositional calculus Logic Mathematical logic Proof theory
796	ON THE PROOF COMPLEXITY OF DEEP INFERENCE PAOLA BRUSCOLI AND ALESSIO GUGLIELMI ABSTRACT. We obtain two results about the proof complexity of deep inference: 1) deep-inference proof systems are as powerful as Frege ones, Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2009-04-19 15:07:07 Mathematics Propositional calculus Automated theorem proving Logic in computer science Frege system Cut-elimination theorem Analytic proof Sequent calculus Substitution Logic Mathematical logic Proof theory
797	ON ANALYTIC INFERENCE RULES IN THE CALCULUS OF STRUCTURES PAOLA BRUSCOLI AND ALESSIO GUGLIELMI In this note, we discuss the notion of analytic inference rule for propositional logics in the calculus of structures (CoS) [ Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2009-11-25 01:04:57 Propositional calculus Inference Logic in computer science Logical consequence Deep inference Rule of inference Sequent calculus Sequent Calculus of structures Logic Mathematical logic Proof theory
798	Index of syntactic variables appearing in R. Carnap’s Logical Syntax of Language (English translation, [removed]For errors or additions, please e-mail Douglas Marshall at [removed]. Syntactic Variable: Ran Add to Reading List Source URL: www.carnap.org Language: English - Date: 2005-11-07 12:18:27 Mathematical logic Propositional calculus Semantics Function Propositional variable Predicate variable Term Expression Predicate Logic Mathematics Predicate logic
799	A Non-commutative Extension of MELL Alessio Guglielmi and Lutz Straßburger Technische Universit¨at Dresden Fakult¨ at Informatik[removed]Dresden - Germany [removed] and Lutz.Strassburger@Inf. Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2005-12-02 04:44:23 Propositional calculus Substructural logic Logical truth Automated theorem proving Natural deduction Noncommutative logic Cut-elimination theorem Sequent calculus Sequent Logic Mathematical logic Proof theory

UPDATE